Section: Dissemination

Promoting Scientific Activities

Scientific Events Organisation

General Chair, Scientific Chair

• Fabrice Rastello: General Chair “Journées française de la compilation”, Lyon, June 2017

Member of the Organizing Committees

• Fabrice Rastello: Steering Committee ACM/IEEE CGO; Steering Committee “Journées française de la compilation”

• Yliès Falcone: Publicity Chair of the 24th International SPIN Symposium on Model Checking of Software

Scientific Events Selection

Chair of Conference Program Committees

• Fabrice Rastello: Program Chair “Journées française de la compilation”, Lyon, June 2017

• Yliès Falcone: Track Chair on Software Verification and Testing at the 2017 ACM Symposium on Applied Computing

Member of the Conference Program Committees

• Fabrice Rastello: ACM/IEEE CGO'18

• François Broquedis: IEEE IPDPS'18

• Jean-François Méhaut: IEEE IPDPS'18

• Frédéric Desprez: ACM/SIGSIM HPC'17, ACM/SIGARCH HPDC'17, IEEE/ACM ISFEC'17, IEEE IPDS'17, IEEE ICDCS'17, IEEE ICA3PP'17, Special Track: Vision/Blue Sky Thinking, EBDMA'17, Europar'17, ICPADS'17, Closer 2017

• Yliès Falcone: CRI’17, MSR’17, RV-CuBES, RV’17, RW-BRMS’17, TASE 2017, iFM 2017, PDP 2017, DATE 2017 – Topic E3

Journal

Reviewer - Reviewing activities

• Frédéric Desprez: IJHPCA

• Yliès Falcone: ACM Transactions on Software Engineering and Methodology (TOSEM), Formal Aspects of Computing, ACM Transactions on Automatic and Control, Acta Informatica, Formal Methods in System Design

Invited talks

• Frédéric Desprez: Entretiens Jacques Cartier, Montréal, Oct. 18 2017 “From IoT Devices to Cloud Computing Infrastructures”

Scientific expertise

• Frédéric Desprez: European project in the FP7 framework; Comité d'orientation stratégique de CIRRUS (COMUE Paris); Groupe Technique GENCI; GENCI, expert for grants of computing resources (CT6); COFECUB - CAPES 2018.

• Yliès Falcone: Representative of France in the COST Action ARVI

• Yliès Falcone: COST Action ARVI, co-leader of Working Group on Core Run-Time Verification

• Jean-François Méhaut: Eurolab-4-HPC, expert for cross site mobility research grants

• Jean-François Méhaut: GENCI, expert for grants of computing resources (CT6)

• Jean-François Méhaut: GENCI, reviewer for C3I (Certificat de Compétences en Calcul Intensif)

Research administration

• Frédéric Desprez: Deputy Scientific Director at Inria

• Frédéric Desprez: Director of the GIS GRID5000

• Frédéric Desprez: Conseil Scientifique ESIEE Paris

• Yliès Falcone: Mission Valorisation for Laboratoire d'Informatique de Grenoble